Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 14.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000427 | Martin Bromberger [Allemagne] ; Thomas Sturm [Allemagne] ; Christoph Weidenbach [Allemagne] | Linear Integer Arithmetic Revisited |
| 000671 | Marco Voigt [Allemagne] ; Christoph Weidenbach [Allemagne] | Bernays-Schönfinkel-Ramsey with Simple Bounds is NEXPTIME-complete |
| 000674 | Gábor Alagi [Allemagne] ; Christoph Weidenbach [France] | {NRCL} - a model building approach to the {Bernays-Schönfinkel} fragment |
| 000D79 | Manuel Lamotte-Schubert [Allemagne] ; Christoph Weidenbach [France] | BDI: a new decidable clause class |
| 001176 | Noran Azmy [Allemagne] ; Christoph Weidenbach [Allemagne] | Computing Tiny Clause Normal Forms |
| 001A04 | Jasmin Blanchette [Allemagne] ; Andrei Popescu [Allemagne] ; Daniel Wand [Allemagne] ; Christoph Weidenbach [Allemagne] | More SPASS with Isabelle -- Superposition with Hard Sorts and Configurable Simplification |
| 001A54 | Pascal Fontaine [France] ; Stephan Merz [France] ; Christoph Weidenbach [Allemagne] | Combination of disjoint theories: beyond decidability |
| 001C22 | Arnaud Fietzke [Allemagne] ; Evgeny Kruglov [Allemagne] ; Christoph Weidenbach [Allemagne] | Automatic Generation of Invariants for Circular Derivations in SUP(LA) |
| 002327 | Stephan Merz [France] ; Tianxiang Lu [Allemagne] ; Christoph Weidenbach [Allemagne] | Towards Verification of the Pastry Protocol using TLA+ |
| 002618 | Tianxiang Lu [Allemagne, France] ; Stephan Merz [France] ; Christoph Weidenbach [Allemagne] | Towards Verification of the Pastry Protocol Using TLA + |
| 002B00 | Tianxiang Lu [Allemagne] ; Stephan Merz [France] ; Christoph Weidenbach [Allemagne] | Model Checking the Pastry Routing Protocol |
| 003969 | Matthias Horbach [Allemagne] ; Christoph Weidenbach [Allemagne] | Deciding the Inductive Validity of ∀ ∃ * Queries |
| 003970 | Matthias Horbach [Allemagne] ; Christoph Weidenbach [Allemagne] | Decidability Results for Saturation-Based Model Building |
| 004301 | Matthias Horbach [Allemagne] ; Christoph Weidenbach [Allemagne] | Superposition for Fixed Domains |
| This area was generated with Dilib version V0.6.33. |  |